monadic Boolean operator

一元布尔运算符